Step of Proof: integer sqrt 11,40

Inference at * 1 0 1 2 2 
Iof proof for Lemma integer sqrt:

.....wf..... NILNIL

  (0  0 )   
latex

 by InteriorProof ((MemEqCD) 
CollapseTHEN (MemEqCD)) 
latex


C.


Definitionsi  j , x:AB(x), s = t, #$n, x:AB(x), t  T
Lemmasge wf

origin